\newcommand{\noun}[1]{\textcolor{red}{\it{\heiti #1}}\index{{#1}}}
\theoremstyle{theorem}
\newtheorem{dingli}{定理}[section]
\newtheorem{mingti}[dingli]{命题}
\newtheorem{gongli}[dingli]{公理}
\newtheorem{tuilun}[dingli]{推论}
\newtheorem{yinli}[dingli]{引理}
\theoremstyle{definition}
\newtheorem{dingyi}[dingli]{定义}
\newtheorem{zhuji}[dingli]{注记}
\newtheorem{lizi}[dingli]{例子}
\newtheorem{xiti}[dingli]{习题}
